rename(r;f) == <map(r;1of(f)),x.2of(f)(hd(filter(y.eqof(eq)(r(y),x);1of(f))))> 

latex

---

clarification:

fpf-rename(eq;r;f) == <map(r;1of(f)),x.2of(f)(hd(filter(y.eqof(eq)(r(y),x);1of(f))))> 

latex

Definitions	map(f;as), 2of(t), hd(l), filter(P;l), eqof(d), 1of(t)
FDL editor aliases	fpf-rename